node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,2) :- #0.126.
link(2,1) :- #0.218.
link(1,5) :- #0.381.
link(5,1) :- #0.571.
link(1,17) :- #0.295.
link(17,1) :- #0.131.
link(1,30) :- #0.436.
link(30,1) :- #0.758.
link(1,47) :- #0.592.
link(47,1) :- #0.292.
link(1,50) :- #0.781.
link(50,1) :- #0.069.
link(1,52) :- #0.268.
link(52,1) :- #0.956.
link(1,73) :- #0.277.
link(73,1) :- #0.24.
link(1,76) :- #0.861.
link(76,1) :- #0.641.
link(1,107) :- #0.127.
link(107,1) :- #0.515.
link(1,124) :- #0.664.
link(124,1) :- #0.476.
link(2,71) :- #0.475.
link(71,2) :- #0.223.
link(2,76) :- #0.927.
link(76,2) :- #0.877.
link(2,78) :- #0.241.
link(78,2) :- #0.443.
link(2,81) :- #0.178.
link(81,2) :- #0.659.
link(2,87) :- #0.055.
link(87,2) :- #0.525.
link(2,89) :- #0.184.
link(89,2) :- #0.48.
link(2,102) :- #0.687.
link(102,2) :- #0.489.
link(2,108) :- #0.325.
link(108,2) :- #0.797.
link(2,115) :- #0.609.
link(115,2) :- #0.012.
link(3,6) :- #0.13.
link(6,3) :- #0.931.
link(3,15) :- #0.816.
link(15,3) :- #0.685.
link(3,20) :- #0.463.
link(20,3) :- #0.976.
link(3,55) :- #0.795.
link(55,3) :- #0.965.
link(3,58) :- #0.41.
link(58,3) :- #0.203.
link(3,78) :- #0.763.
link(78,3) :- #0.155.
link(3,82) :- #0.23.
link(82,3) :- #0.602.
link(3,92) :- #0.211.
link(92,3) :- #0.426.
link(3,93) :- #0.306.
link(93,3) :- #0.572.
link(3,100) :- #0.192.
link(100,3) :- #0.178.
link(3,111) :- #0.611.
link(111,3) :- #0.689.
link(3,114) :- #0.089.
link(114,3) :- #0.569.
link(4,11) :- #0.765.
link(11,4) :- #0.453.
link(4,12) :- #0.212.
link(12,4) :- #0.271.
link(4,17) :- #0.997.
link(17,4) :- #0.922.
link(4,41) :- #0.137.
link(41,4) :- #0.002.
link(4,48) :- #0.509.
link(48,4) :- #0.989.
link(4,50) :- #0.2.
link(50,4) :- #0.186.
link(4,66) :- #0.544.
link(66,4) :- #0.491.
link(4,68) :- #0.848.
link(68,4) :- #0.782.
link(4,73) :- #0.589.
link(73,4) :- #0.384.
link(4,76) :- #0.26.
link(76,4) :- #0.501.
link(4,82) :- #0.09.
link(82,4) :- #0.554.
link(4,111) :- #0.79.
link(111,4) :- #0.832.
link(4,132) :- #0.984.
link(132,4) :- #0.607.
link(5,51) :- #0.618.
link(51,5) :- #0.778.
link(5,55) :- #0.699.
link(55,5) :- #0.733.
link(5,57) :- #0.691.
link(57,5) :- #0.41.
link(5,64) :- #0.501.
link(64,5) :- #0.897.
link(5,71) :- #0.598.
link(71,5) :- #0.113.
link(5,76) :- #0.617.
link(76,5) :- #0.466.
link(5,85) :- #0.629.
link(85,5) :- #0.262.
link(5,125) :- #0.284.
link(125,5) :- #0.682.
link(5,126) :- #0.685.
link(126,5) :- #0.255.
link(5,128) :- #0.056.
link(128,5) :- #0.163.
link(6,25) :- #0.27.
link(25,6) :- #0.064.
link(6,28) :- #0.679.
link(28,6) :- #0.926.
link(6,39) :- #0.837.
link(39,6) :- #0.378.
link(6,57) :- #0.762.
link(57,6) :- #0.076.
link(6,59) :- #0.897.
link(59,6) :- #0.851.
link(6,71) :- #0.088.
link(71,6) :- #0.628.
link(6,76) :- #0.413.
link(76,6) :- #0.031.
link(6,77) :- #0.766.
link(77,6) :- #0.497.
link(6,84) :- #0.911.
link(84,6) :- #0.154.
link(6,132) :- #0.711.
link(132,6) :- #0.189.
link(7,9) :- #0.007.
link(9,7) :- #0.728.
link(7,18) :- #0.063.
link(18,7) :- #0.397.
link(7,19) :- #0.598.
link(19,7) :- #0.706.
link(7,25) :- #0.741.
link(25,7) :- #0.608.
link(7,26) :- #0.026.
link(26,7) :- #0.158.
link(7,31) :- #0.213.
link(31,7) :- #0.931.
link(7,34) :- #0.231.
link(34,7) :- #0.674.
link(7,41) :- #0.669.
link(41,7) :- #0.059.
link(7,53) :- #0.078.
link(53,7) :- #0.005.
link(7,58) :- #0.039.
link(58,7) :- #0.247.
link(7,62) :- #0.97.
link(62,7) :- #0.588.
link(7,65) :- #0.844.
link(65,7) :- #0.166.
link(7,83) :- #0.104.
link(83,7) :- #0.932.
link(7,84) :- #0.635.
link(84,7) :- #0.931.
link(7,116) :- #0.616.
link(116,7) :- #0.278.
link(7,118) :- #0.335.
link(118,7) :- #0.474.
link(7,120) :- #0.696.
link(120,7) :- #0.355.
link(7,132) :- #0.9.
link(132,7) :- #0.017.
link(8,10) :- #0.002.
link(10,8) :- #0.405.
link(8,25) :- #0.419.
link(25,8) :- #0.946.
link(8,59) :- #0.278.
link(59,8) :- #0.28.
link(8,64) :- #0.671.
link(64,8) :- #0.903.
link(8,102) :- #0.7.
link(102,8) :- #0.41.
link(8,123) :- #0.769.
link(123,8) :- #0.031.
link(8,128) :- #0.596.
link(128,8) :- #0.588.
link(9,54) :- #0.329.
link(54,9) :- #0.711.
link(9,60) :- #0.736.
link(60,9) :- #0.98.
link(9,80) :- #0.477.
link(80,9) :- #0.774.
link(9,93) :- #0.54.
link(93,9) :- #0.863.
link(9,102) :- #0.437.
link(102,9) :- #0.591.
link(9,109) :- #0.258.
link(109,9) :- #0.492.
link(9,114) :- #0.629.
link(114,9) :- #0.694.
link(9,121) :- #0.398.
link(121,9) :- #0.067.
link(9,124) :- #0.571.
link(124,9) :- #0.224.
link(9,130) :- #0.399.
link(130,9) :- #0.211.
link(9,132) :- #0.014.
link(132,9) :- #0.651.
link(10,11) :- #0.515.
link(11,10) :- #0.082.
link(10,34) :- #0.004.
link(34,10) :- #0.304.
link(10,38) :- #0.139.
link(38,10) :- #0.413.
link(10,45) :- #0.927.
link(45,10) :- #0.758.
link(10,52) :- #0.748.
link(52,10) :- #0.453.
link(10,53) :- #0.325.
link(53,10) :- #0.101.
link(10,88) :- #0.612.
link(88,10) :- #0.026.
link(10,102) :- #0.754.
link(102,10) :- #0.419.
link(10,124) :- #0.267.
link(124,10) :- #0.442.
link(10,125) :- #0.383.
link(125,10) :- #0.309.
link(10,131) :- #0.134.
link(131,10) :- #0.833.
link(11,19) :- #0.144.
link(19,11) :- #0.991.
link(11,25) :- #0.
link(25,11) :- #0.854.
link(11,27) :- #0.168.
link(27,11) :- #0.222.
link(11,29) :- #0.215.
link(29,11) :- #0.725.
link(11,37) :- #0.182.
link(37,11) :- #0.165.
link(11,40) :- #0.477.
link(40,11) :- #0.955.
link(11,57) :- #0.389.
link(57,11) :- #0.001.
link(11,80) :- #0.946.
link(80,11) :- #0.055.
link(11,82) :- #0.877.
link(82,11) :- #0.109.
link(11,83) :- #0.908.
link(83,11) :- #0.215.
link(11,88) :- #0.508.
link(88,11) :- #0.16.
link(11,92) :- #0.464.
link(92,11) :- #0.625.
link(11,105) :- #0.671.
link(105,11) :- #0.621.
link(11,106) :- #0.073.
link(106,11) :- #0.522.
link(11,111) :- #0.988.
link(111,11) :- #0.688.
link(11,116) :- #0.622.
link(116,11) :- #0.465.
link(11,122) :- #0.458.
link(122,11) :- #0.994.
link(12,14) :- #0.026.
link(14,12) :- #0.997.
link(12,21) :- #0.294.
link(21,12) :- #0.171.
link(12,33) :- #0.625.
link(33,12) :- #0.114.
link(12,52) :- #0.744.
link(52,12) :- #0.117.
link(12,76) :- #0.641.
link(76,12) :- #0.498.
link(12,87) :- #0.999.
link(87,12) :- #0.091.
link(12,91) :- #0.126.
link(91,12) :- #0.795.
link(12,98) :- #0.196.
link(98,12) :- #0.319.
link(12,105) :- #0.78.
link(105,12) :- #0.478.
link(12,109) :- #0.982.
link(109,12) :- #0.041.
link(12,116) :- #0.235.
link(116,12) :- #0.499.
link(12,123) :- #0.791.
link(123,12) :- #0.853.
link(12,127) :- #0.207.
link(127,12) :- #0.86.
link(13,21) :- #0.257.
link(21,13) :- #0.911.
link(13,26) :- #0.919.
link(26,13) :- #0.717.
link(13,29) :- #0.192.
link(29,13) :- #0.483.
link(13,30) :- #0.415.
link(30,13) :- #0.225.
link(13,39) :- #0.492.
link(39,13) :- #0.272.
link(13,57) :- #0.549.
link(57,13) :- #0.28.
link(13,64) :- #0.77.
link(64,13) :- #0.542.
link(13,88) :- #0.214.
link(88,13) :- #0.697.
link(13,97) :- #0.603.
link(97,13) :- #0.052.
link(13,117) :- #0.709.
link(117,13) :- #0.514.
link(13,119) :- #0.889.
link(119,13) :- #0.026.
link(14,17) :- #0.271.
link(17,14) :- #0.573.
link(14,27) :- #0.137.
link(27,14) :- #0.309.
link(14,44) :- #0.936.
link(44,14) :- #0.724.
link(14,52) :- #0.714.
link(52,14) :- #0.694.
link(14,79) :- #0.779.
link(79,14) :- #0.936.
link(14,85) :- #0.32.
link(85,14) :- #0.36.
link(14,110) :- #0.758.
link(110,14) :- #0.837.
link(14,129) :- #0.787.
link(129,14) :- #0.927.
link(15,35) :- #0.107.
link(35,15) :- #0.158.
link(15,37) :- #0.773.
link(37,15) :- #0.804.
link(15,38) :- #0.259.
link(38,15) :- #0.872.
link(15,45) :- #0.072.
link(45,15) :- #0.091.
link(15,55) :- #0.564.
link(55,15) :- #0.516.
link(15,57) :- #0.868.
link(57,15) :- #0.963.
link(15,70) :- #0.396.
link(70,15) :- #0.81.
link(15,72) :- #0.993.
link(72,15) :- #0.444.
link(15,76) :- #0.411.
link(76,15) :- #0.833.
link(15,81) :- #0.652.
link(81,15) :- #0.128.
link(15,86) :- #0.492.
link(86,15) :- #0.353.
link(15,97) :- #0.207.
link(97,15) :- #0.228.
link(15,117) :- #0.836.
link(117,15) :- #0.44.
link(16,35) :- #0.036.
link(35,16) :- #0.564.
link(16,37) :- #0.621.
link(37,16) :- #0.965.
link(16,55) :- #0.549.
link(55,16) :- #0.414.
link(16,66) :- #0.924.
link(66,16) :- #0.533.
link(16,94) :- #0.715.
link(94,16) :- #0.597.
link(16,95) :- #0.102.
link(95,16) :- #0.643.
link(16,104) :- #0.584.
link(104,16) :- #0.754.
link(16,126) :- #0.561.
link(126,16) :- #0.401.
link(17,18) :- #0.877.
link(18,17) :- #0.292.
link(17,20) :- #0.955.
link(20,17) :- #0.784.
link(17,29) :- #0.691.
link(29,17) :- #0.162.
link(17,52) :- #0.82.
link(52,17) :- #0.895.
link(17,62) :- #0.321.
link(62,17) :- #0.148.
link(17,95) :- #0.964.
link(95,17) :- #0.637.
link(17,97) :- #0.464.
link(97,17) :- #0.209.
link(17,124) :- #0.603.
link(124,17) :- #0.92.
link(18,30) :- #0.038.
link(30,18) :- #0.949.
link(18,34) :- #0.929.
link(34,18) :- #0.837.
link(18,39) :- #0.476.
link(39,18) :- #0.444.
link(18,40) :- #0.253.
link(40,18) :- #0.717.
link(18,49) :- #0.644.
link(49,18) :- #0.439.
link(18,66) :- #0.831.
link(66,18) :- #0.666.
link(18,78) :- #0.137.
link(78,18) :- #0.58.
link(18,79) :- #0.358.
link(79,18) :- #0.192.
link(18,82) :- #0.345.
link(82,18) :- #0.75.
link(18,99) :- #0.848.
link(99,18) :- #0.78.
link(18,101) :- #0.459.
link(101,18) :- #0.068.
link(18,126) :- #0.234.
link(126,18) :- #0.549.
link(19,31) :- #0.222.
link(31,19) :- #0.571.
link(19,39) :- #0.624.
link(39,19) :- #0.347.
link(19,61) :- #0.019.
link(61,19) :- #0.471.
link(19,77) :- #0.418.
link(77,19) :- #0.079.
link(19,120) :- #0.754.
link(120,19) :- #0.916.
link(19,135) :- #0.735.
link(135,19) :- #0.704.
link(20,32) :- #0.335.
link(32,20) :- #0.114.
link(20,34) :- #0.034.
link(34,20) :- #0.007.
link(20,64) :- #0.407.
link(64,20) :- #0.941.
link(20,76) :- #0.059.
link(76,20) :- #0.882.
link(20,79) :- #0.133.
link(79,20) :- #0.91.
link(20,83) :- #0.086.
link(83,20) :- #0.941.
link(20,87) :- #0.049.
link(87,20) :- #0.705.
link(20,99) :- #0.596.
link(99,20) :- #0.61.
link(20,125) :- #0.724.
link(125,20) :- #0.909.
link(20,129) :- #0.577.
link(129,20) :- #0.61.
link(21,41) :- #0.703.
link(41,21) :- #0.918.
link(21,42) :- #0.396.
link(42,21) :- #0.692.
link(21,56) :- #0.805.
link(56,21) :- #0.095.
link(21,84) :- #0.826.
link(84,21) :- #0.246.
link(21,93) :- #0.868.
link(93,21) :- #0.73.
link(21,102) :- #0.392.
link(102,21) :- #0.982.
link(21,108) :- #0.53.
link(108,21) :- #0.171.
link(21,109) :- #0.538.
link(109,21) :- #0.21.
link(21,112) :- #0.213.
link(112,21) :- #0.329.
link(21,115) :- #0.312.
link(115,21) :- #0.512.
link(21,119) :- #0.607.
link(119,21) :- #0.601.
link(22,25) :- #0.983.
link(25,22) :- #0.152.
link(22,59) :- #0.961.
link(59,22) :- #0.673.
link(22,61) :- #0.384.
link(61,22) :- #0.749.
link(22,78) :- #0.543.
link(78,22) :- #0.974.
link(22,98) :- #0.081.
link(98,22) :- #0.336.
link(22,106) :- #0.714.
link(106,22) :- #0.982.
link(22,119) :- #0.168.
link(119,22) :- #0.331.
link(22,131) :- #0.85.
link(131,22) :- #0.832.
link(23,56) :- #0.356.
link(56,23) :- #0.501.
link(23,62) :- #0.749.
link(62,23) :- #0.725.
link(23,81) :- #0.716.
link(81,23) :- #0.112.
link(23,89) :- #0.219.
link(89,23) :- #0.455.
link(23,111) :- #0.463.
link(111,23) :- #0.014.
link(23,116) :- #0.066.
link(116,23) :- #0.683.
link(23,123) :- #0.211.
link(123,23) :- #0.8.
link(23,132) :- #0.187.
link(132,23) :- #0.767.
link(23,135) :- #0.446.
link(135,23) :- #0.917.
link(24,39) :- #0.59.
link(39,24) :- #0.368.
link(24,47) :- #0.408.
link(47,24) :- #0.999.
link(24,54) :- #0.801.
link(54,24) :- #0.411.
link(24,59) :- #0.962.
link(59,24) :- #0.876.
link(24,80) :- #0.966.
link(80,24) :- #0.481.
link(24,93) :- #0.452.
link(93,24) :- #0.988.
link(24,97) :- #0.12.
link(97,24) :- #0.272.
link(24,98) :- #0.477.
link(98,24) :- #0.955.
link(24,100) :- #0.33.
link(100,24) :- #0.329.
link(24,102) :- #0.137.
link(102,24) :- #0.158.
link(24,115) :- #0.218.
link(115,24) :- #0.211.
link(25,43) :- #0.813.
link(43,25) :- #0.638.
link(25,55) :- #0.278.
link(55,25) :- #0.118.
link(25,56) :- #0.257.
link(56,25) :- #0.619.
link(25,59) :- #0.453.
link(59,25) :- #0.516.
link(25,64) :- #0.507.
link(64,25) :- #0.473.
link(25,129) :- #0.028.
link(129,25) :- #0.821.
link(25,134) :- #0.454.
link(134,25) :- #0.13.
link(26,83) :- #0.432.
link(83,26) :- #0.666.
link(26,84) :- #0.145.
link(84,26) :- #0.248.
link(26,86) :- #0.42.
link(86,26) :- #0.889.
link(26,87) :- #0.92.
link(87,26) :- #0.164.
link(26,95) :- #0.016.
link(95,26) :- #0.28.
link(26,120) :- #0.222.
link(120,26) :- #0.7.
link(27,30) :- #0.951.
link(30,27) :- #0.402.
link(27,36) :- #0.338.
link(36,27) :- #0.617.
link(27,54) :- #0.163.
link(54,27) :- #0.785.
link(27,55) :- #0.089.
link(55,27) :- #0.276.
link(27,67) :- #0.561.
link(67,27) :- #0.405.
link(27,71) :- #0.729.
link(71,27) :- #0.416.
link(27,87) :- #0.18.
link(87,27) :- #0.191.
link(27,89) :- #0.239.
link(89,27) :- #0.66.
link(27,97) :- #0.21.
link(97,27) :- #0.063.
link(27,107) :- #0.218.
link(107,27) :- #0.991.
link(27,121) :- #0.158.
link(121,27) :- #0.558.
link(27,123) :- #0.541.
link(123,27) :- #0.366.
link(27,124) :- #0.607.
link(124,27) :- #0.967.
link(27,129) :- #0.301.
link(129,27) :- #0.439.
link(28,35) :- #0.998.
link(35,28) :- #0.171.
link(28,39) :- #0.997.
link(39,28) :- #0.914.
link(28,40) :- #0.652.
link(40,28) :- #0.389.
link(28,44) :- #0.878.
link(44,28) :- #0.953.
link(28,51) :- #0.447.
link(51,28) :- #0.199.
link(28,76) :- #0.276.
link(76,28) :- #0.814.
link(28,87) :- #0.207.
link(87,28) :- #0.533.
link(28,97) :- #0.204.
link(97,28) :- #0.002.
link(28,118) :- #0.985.
link(118,28) :- #0.621.
link(28,122) :- #0.582.
link(122,28) :- #0.801.
link(28,123) :- #0.869.
link(123,28) :- #0.879.
link(28,135) :- #0.865.
link(135,28) :- #0.594.
link(29,56) :- #0.243.
link(56,29) :- #0.481.
link(29,79) :- #0.369.
link(79,29) :- #0.585.
link(29,92) :- #0.289.
link(92,29) :- #0.489.
link(29,114) :- #0.136.
link(114,29) :- #0.888.
link(29,131) :- #0.872.
link(131,29) :- #0.152.
link(30,33) :- #0.052.
link(33,30) :- #0.626.
link(30,38) :- #0.429.
link(38,30) :- #0.796.
link(30,57) :- #0.314.
link(57,30) :- #0.358.
link(30,75) :- #0.425.
link(75,30) :- #0.105.
link(30,81) :- #0.135.
link(81,30) :- #0.343.
link(30,84) :- #0.841.
link(84,30) :- #0.715.
link(30,133) :- #0.179.
link(133,30) :- #0.703.
link(30,135) :- #0.864.
link(135,30) :- #0.867.
link(31,53) :- #0.102.
link(53,31) :- #0.48.
link(31,69) :- #0.713.
link(69,31) :- #0.122.
link(31,79) :- #0.325.
link(79,31) :- #0.672.
link(31,82) :- #0.773.
link(82,31) :- #0.231.
link(31,90) :- #0.038.
link(90,31) :- #0.297.
link(31,114) :- #0.941.
link(114,31) :- #0.649.
link(31,128) :- #0.902.
link(128,31) :- #0.073.
link(31,134) :- #0.207.
link(134,31) :- #0.509.
link(32,35) :- #0.147.
link(35,32) :- #0.641.
link(32,37) :- #0.943.
link(37,32) :- #0.478.
link(32,45) :- #0.294.
link(45,32) :- #0.232.
link(32,56) :- #0.385.
link(56,32) :- #0.612.
link(32,60) :- #0.288.
link(60,32) :- #0.952.
link(32,69) :- #0.265.
link(69,32) :- #0.332.
link(32,72) :- #0.318.
link(72,32) :- #0.34.
link(32,76) :- #0.123.
link(76,32) :- #0.981.
link(32,93) :- #0.167.
link(93,32) :- #0.736.
link(32,98) :- #0.296.
link(98,32) :- #0.103.
link(32,99) :- #0.828.
link(99,32) :- #0.209.
link(32,111) :- #0.951.
link(111,32) :- #0.965.
link(32,132) :- #0.07.
link(132,32) :- #0.051.
link(33,40) :- #0.57.
link(40,33) :- #0.665.
link(33,47) :- #0.995.
link(47,33) :- #0.153.
link(33,63) :- #0.402.
link(63,33) :- #0.053.
link(33,73) :- #0.875.
link(73,33) :- #0.125.
link(33,92) :- #0.187.
link(92,33) :- #0.241.
link(33,96) :- #0.157.
link(96,33) :- #0.884.
link(33,100) :- #0.8.
link(100,33) :- #0.503.
link(33,105) :- #0.616.
link(105,33) :- #0.307.
link(33,107) :- #0.879.
link(107,33) :- #0.321.
link(33,112) :- #0.8.
link(112,33) :- #0.573.
link(33,114) :- #0.209.
link(114,33) :- #0.262.
link(33,122) :- #0.059.
link(122,33) :- #0.169.
link(33,124) :- #0.106.
link(124,33) :- #0.534.
link(33,129) :- #0.176.
link(129,33) :- #0.442.
link(34,43) :- #0.916.
link(43,34) :- #0.79.
link(34,48) :- #0.584.
link(48,34) :- #0.714.
link(34,107) :- #0.368.
link(107,34) :- #0.077.
link(34,112) :- #0.081.
link(112,34) :- #0.578.
link(34,131) :- #0.904.
link(131,34) :- #0.317.
link(34,133) :- #0.172.
link(133,34) :- #0.356.
link(35,50) :- #0.611.
link(50,35) :- #0.264.
link(35,54) :- #0.511.
link(54,35) :- #0.964.
link(35,58) :- #0.331.
link(58,35) :- #0.32.
link(35,59) :- #0.442.
link(59,35) :- #0.518.
link(35,60) :- #0.186.
link(60,35) :- #0.501.
link(35,65) :- #0.289.
link(65,35) :- #0.085.
link(35,72) :- #0.928.
link(72,35) :- #0.52.
link(35,92) :- #0.501.
link(92,35) :- #0.451.
link(35,104) :- #0.349.
link(104,35) :- #0.551.
link(35,112) :- #0.259.
link(112,35) :- #0.836.
link(35,118) :- #0.576.
link(118,35) :- #0.482.
link(35,121) :- #0.821.
link(121,35) :- #0.164.
link(35,122) :- #0.694.
link(122,35) :- #0.235.
link(36,38) :- #0.306.
link(38,36) :- #0.887.
link(36,50) :- #0.057.
link(50,36) :- #0.007.
link(36,80) :- #0.501.
link(80,36) :- #0.125.
link(36,85) :- #0.204.
link(85,36) :- #0.839.
link(36,102) :- #0.297.
link(102,36) :- #0.107.
link(36,109) :- #0.12.
link(109,36) :- #0.834.
link(36,131) :- #0.032.
link(131,36) :- #0.78.
link(36,132) :- #0.875.
link(132,36) :- #0.347.
link(37,44) :- #0.016.
link(44,37) :- #0.113.
link(37,94) :- #0.563.
link(94,37) :- #0.839.
link(37,96) :- #0.12.
link(96,37) :- #0.751.
link(37,104) :- #0.953.
link(104,37) :- #0.293.
link(37,108) :- #0.297.
link(108,37) :- #0.532.
link(37,116) :- #0.966.
link(116,37) :- #0.825.
link(37,118) :- #0.225.
link(118,37) :- #0.02.
link(37,123) :- #0.886.
link(123,37) :- #0.47.
link(37,126) :- #0.869.
link(126,37) :- #0.103.
link(37,129) :- #0.107.
link(129,37) :- #0.211.
link(37,133) :- #0.208.
link(133,37) :- #0.305.
link(37,134) :- #0.03.
link(134,37) :- #0.923.
link(38,43) :- #0.85.
link(43,38) :- #0.308.
link(38,44) :- #0.837.
link(44,38) :- #0.394.
link(38,48) :- #0.879.
link(48,38) :- #0.32.
link(38,54) :- #0.997.
link(54,38) :- #0.698.
link(38,58) :- #0.471.
link(58,38) :- #0.828.
link(38,65) :- #0.383.
link(65,38) :- #0.352.
link(38,70) :- #0.327.
link(70,38) :- #0.57.
link(38,79) :- #0.269.
link(79,38) :- #0.557.
link(38,93) :- #0.335.
link(93,38) :- #0.767.
link(38,98) :- #0.62.
link(98,38) :- #0.091.
link(38,107) :- #0.579.
link(107,38) :- #0.908.
link(38,113) :- #0.413.
link(113,38) :- #0.47.
link(38,130) :- #0.464.
link(130,38) :- #0.222.
link(39,58) :- #0.847.
link(58,39) :- #0.855.
link(39,87) :- #0.558.
link(87,39) :- #0.078.
link(39,88) :- #0.729.
link(88,39) :- #0.006.
link(39,101) :- #0.441.
link(101,39) :- #0.512.
link(39,109) :- #0.002.
link(109,39) :- #0.649.
link(39,130) :- #0.306.
link(130,39) :- #0.106.
link(40,53) :- #0.705.
link(53,40) :- #0.909.
link(40,55) :- #0.213.
link(55,40) :- #0.067.
link(40,62) :- #0.05.
link(62,40) :- #0.513.
link(40,74) :- #0.129.
link(74,40) :- #0.484.
link(40,76) :- #0.983.
link(76,40) :- #0.007.
link(40,82) :- #0.466.
link(82,40) :- #0.768.
link(40,95) :- #0.467.
link(95,40) :- #0.142.
link(40,107) :- #0.678.
link(107,40) :- #0.76.
link(40,128) :- #0.849.
link(128,40) :- #0.338.
link(41,47) :- #0.078.
link(47,41) :- #0.305.
link(41,65) :- #0.405.
link(65,41) :- #0.919.
link(41,87) :- #0.946.
link(87,41) :- #0.318.
link(41,90) :- #0.462.
link(90,41) :- #0.804.
link(41,103) :- #0.811.
link(103,41) :- #0.937.
link(41,117) :- #0.081.
link(117,41) :- #0.16.
link(42,44) :- #0.855.
link(44,42) :- #0.857.
link(42,49) :- #0.098.
link(49,42) :- #0.949.
link(42,53) :- #0.285.
link(53,42) :- #0.904.
link(42,62) :- #0.417.
link(62,42) :- #0.375.
link(42,78) :- #0.365.
link(78,42) :- #0.297.
link(42,79) :- #0.735.
link(79,42) :- #0.463.
link(42,80) :- #0.294.
link(80,42) :- #0.619.
link(42,93) :- #0.747.
link(93,42) :- #0.659.
link(43,64) :- #0.069.
link(64,43) :- #0.647.
link(43,76) :- #0.189.
link(76,43) :- #0.846.
link(43,98) :- #0.66.
link(98,43) :- #0.663.
link(43,108) :- #0.683.
link(108,43) :- #0.903.
link(43,110) :- #0.78.
link(110,43) :- #0.644.
link(43,131) :- #0.827.
link(131,43) :- #0.257.
link(44,50) :- #0.191.
link(50,44) :- #0.606.
link(44,61) :- #0.843.
link(61,44) :- #0.378.
link(44,63) :- #0.982.
link(63,44) :- #0.833.
link(44,89) :- #0.623.
link(89,44) :- #0.933.
link(44,91) :- #0.756.
link(91,44) :- #0.577.
link(44,115) :- #0.223.
link(115,44) :- #0.372.
link(44,117) :- #0.865.
link(117,44) :- #0.109.
link(44,122) :- #0.945.
link(122,44) :- #0.744.
link(45,62) :- #0.141.
link(62,45) :- #0.594.
link(45,77) :- #0.439.
link(77,45) :- #0.008.
link(45,80) :- #0.33.
link(80,45) :- #0.653.
link(45,93) :- #0.987.
link(93,45) :- #0.376.
link(45,96) :- #0.143.
link(96,45) :- #0.645.
link(45,97) :- #0.929.
link(97,45) :- #0.051.
link(45,113) :- #0.545.
link(113,45) :- #0.623.
link(45,125) :- #0.222.
link(125,45) :- #0.351.
link(46,47) :- #0.314.
link(47,46) :- #0.617.
link(46,56) :- #0.491.
link(56,46) :- #0.509.
link(46,70) :- #0.559.
link(70,46) :- #0.91.
link(46,76) :- #0.583.
link(76,46) :- #0.6.
link(46,80) :- #0.861.
link(80,46) :- #0.255.
link(46,91) :- #0.184.
link(91,46) :- #0.104.
link(46,106) :- #0.038.
link(106,46) :- #0.787.
link(46,122) :- #0.344.
link(122,46) :- #0.591.
link(46,128) :- #0.484.
link(128,46) :- #0.474.
link(46,129) :- #0.72.
link(129,46) :- #0.228.
link(46,130) :- #0.409.
link(130,46) :- #0.277.
link(47,85) :- #0.834.
link(85,47) :- #0.057.
link(47,86) :- #0.339.
link(86,47) :- #0.515.
link(47,87) :- #0.967.
link(87,47) :- #0.824.
link(47,102) :- #0.539.
link(102,47) :- #0.635.
link(47,107) :- #0.171.
link(107,47) :- #0.25.
link(47,114) :- #0.907.
link(114,47) :- #0.623.
link(47,116) :- #0.066.
link(116,47) :- #0.757.
link(48,66) :- #0.663.
link(66,48) :- #0.437.
link(48,70) :- #0.208.
link(70,48) :- #0.23.
link(48,73) :- #0.264.
link(73,48) :- #0.162.
link(48,76) :- #0.972.
link(76,48) :- #0.63.
link(48,81) :- #0.387.
link(81,48) :- #0.353.
link(48,101) :- #0.717.
link(101,48) :- #0.139.
link(48,104) :- #0.137.
link(104,48) :- #0.329.
link(48,106) :- #0.934.
link(106,48) :- #0.649.
link(48,114) :- #0.501.
link(114,48) :- #0.875.
link(48,122) :- #0.662.
link(122,48) :- #0.592.
link(49,61) :- #0.195.
link(61,49) :- #0.937.
link(49,67) :- #0.562.
link(67,49) :- #0.129.
link(49,71) :- #0.789.
link(71,49) :- #0.908.
link(49,76) :- #0.102.
link(76,49) :- #0.257.
link(49,80) :- #0.186.
link(80,49) :- #0.041.
link(49,83) :- #0.613.
link(83,49) :- #0.445.
link(49,89) :- #0.181.
link(89,49) :- #0.387.
link(49,117) :- #0.819.
link(117,49) :- #0.505.
link(49,119) :- #0.932.
link(119,49) :- #0.539.
link(49,133) :- #0.595.
link(133,49) :- #0.758.
link(50,66) :- #0.443.
link(66,50) :- #0.776.
link(50,79) :- #0.343.
link(79,50) :- #0.475.
link(50,85) :- #0.668.
link(85,50) :- #0.273.
link(50,102) :- #0.586.
link(102,50) :- #0.64.
link(50,126) :- #0.993.
link(126,50) :- #0.634.
link(50,134) :- #0.39.
link(134,50) :- #0.272.
link(51,52) :- #0.907.
link(52,51) :- #0.551.
link(51,75) :- #0.433.
link(75,51) :- #0.805.
link(51,85) :- #0.634.
link(85,51) :- #0.199.
link(51,92) :- #0.087.
link(92,51) :- #0.074.
link(51,96) :- #0.822.
link(96,51) :- #0.48.
link(51,102) :- #0.622.
link(102,51) :- #0.514.
link(51,105) :- #0.705.
link(105,51) :- #0.285.
link(51,120) :- #0.568.
link(120,51) :- #0.812.
link(51,127) :- #0.123.
link(127,51) :- #0.959.
link(52,59) :- #0.672.
link(59,52) :- #0.845.
link(52,63) :- #0.635.
link(63,52) :- #0.679.
link(52,84) :- #0.658.
link(84,52) :- #0.745.
link(52,85) :- #0.554.
link(85,52) :- #0.693.
link(52,92) :- #0.852.
link(92,52) :- #0.986.
link(52,93) :- #0.943.
link(93,52) :- #0.588.
link(52,96) :- #0.386.
link(96,52) :- #0.691.
link(52,110) :- #0.404.
link(110,52) :- #0.147.
link(52,124) :- #0.41.
link(124,52) :- #0.858.
link(52,134) :- #0.498.
link(134,52) :- #0.642.
link(53,56) :- #0.035.
link(56,53) :- #0.891.
link(53,58) :- #0.906.
link(58,53) :- #0.9.
link(53,76) :- #0.236.
link(76,53) :- #0.899.
link(53,95) :- #0.23.
link(95,53) :- #0.422.
link(53,97) :- #0.267.
link(97,53) :- #0.479.
link(53,98) :- #0.983.
link(98,53) :- #0.491.
link(53,103) :- #0.093.
link(103,53) :- #0.597.
link(53,116) :- #0.575.
link(116,53) :- #0.455.
link(53,126) :- #0.608.
link(126,53) :- #0.337.
link(53,132) :- #0.576.
link(132,53) :- #0.454.
link(53,134) :- #0.111.
link(134,53) :- #0.396.
link(54,55) :- #0.621.
link(55,54) :- #0.155.
link(54,60) :- #0.275.
link(60,54) :- #0.643.
link(54,64) :- #0.69.
link(64,54) :- #0.94.
link(54,65) :- #0.237.
link(65,54) :- #0.951.
link(54,69) :- #0.325.
link(69,54) :- #0.259.
link(54,93) :- #0.846.
link(93,54) :- #0.788.
link(54,100) :- #0.403.
link(100,54) :- #0.98.
link(54,117) :- #0.731.
link(117,54) :- #0.294.
link(54,128) :- #0.159.
link(128,54) :- #0.86.
link(54,131) :- #0.788.
link(131,54) :- #0.467.
link(55,59) :- #0.264.
link(59,55) :- #0.205.
link(55,84) :- #0.589.
link(84,55) :- #0.376.
link(55,98) :- #0.278.
link(98,55) :- #0.288.
link(55,101) :- #0.221.
link(101,55) :- #0.633.
link(55,107) :- #0.95.
link(107,55) :- #0.568.
link(55,126) :- #0.995.
link(126,55) :- #0.633.
link(56,60) :- #0.597.
link(60,56) :- #0.726.
link(56,70) :- #0.577.
link(70,56) :- #0.713.
link(56,83) :- #0.555.
link(83,56) :- #0.438.
link(56,97) :- #0.516.
link(97,56) :- #0.651.
link(56,118) :- #0.196.
link(118,56) :- #0.626.
link(56,128) :- #0.017.
link(128,56) :- #0.953.
link(56,134) :- #0.587.
link(134,56) :- #0.221.
link(57,72) :- #0.763.
link(72,57) :- #0.78.
link(57,74) :- #0.099.
link(74,57) :- #0.714.
link(57,78) :- #0.558.
link(78,57) :- #0.99.
link(57,85) :- #0.645.
link(85,57) :- #0.533.
link(57,90) :- #0.681.
link(90,57) :- #0.51.
link(57,105) :- #0.801.
link(105,57) :- #0.595.
link(57,106) :- #0.879.
link(106,57) :- #0.815.
link(57,134) :- #0.703.
link(134,57) :- #0.846.
link(57,135) :- #0.461.
link(135,57) :- #0.781.
link(58,79) :- #0.877.
link(79,58) :- #0.778.
link(58,80) :- #0.668.
link(80,58) :- #0.065.
link(58,92) :- #0.141.
link(92,58) :- #0.416.
link(58,94) :- #0.3.
link(94,58) :- #0.928.
link(58,114) :- #0.622.
link(114,58) :- #0.204.
link(59,62) :- #0.211.
link(62,59) :- #0.215.
link(59,69) :- #0.97.
link(69,59) :- #0.265.
link(59,70) :- #0.885.
link(70,59) :- #0.845.
link(59,72) :- #0.965.
link(72,59) :- #0.227.
link(59,79) :- #0.628.
link(79,59) :- #0.583.
link(59,82) :- #0.177.
link(82,59) :- #0.972.
link(59,118) :- #0.535.
link(118,59) :- #0.102.
link(59,128) :- #0.813.
link(128,59) :- #0.367.
link(59,131) :- #0.802.
link(131,59) :- #0.251.
link(60,68) :- #0.773.
link(68,60) :- #0.015.
link(60,72) :- #0.38.
link(72,60) :- #0.137.
link(60,88) :- #0.596.
link(88,60) :- #0.026.
link(60,106) :- #0.581.
link(106,60) :- #0.913.
link(60,110) :- #0.882.
link(110,60) :- #0.472.
link(60,112) :- #0.825.
link(112,60) :- #0.404.
link(60,113) :- #0.013.
link(113,60) :- #0.82.
link(60,117) :- #0.276.
link(117,60) :- #0.395.
link(60,124) :- #0.219.
link(124,60) :- #0.939.
link(61,80) :- #0.833.
link(80,61) :- #0.28.
link(61,88) :- #0.883.
link(88,61) :- #0.124.
link(61,105) :- #0.823.
link(105,61) :- #0.109.
link(61,106) :- #0.337.
link(106,61) :- #0.636.
link(61,107) :- #0.203.
link(107,61) :- #0.851.
link(61,120) :- #0.585.
link(120,61) :- #0.927.
link(61,126) :- #0.237.
link(126,61) :- #0.939.
link(61,127) :- #0.364.
link(127,61) :- #0.811.
link(61,132) :- #0.143.
link(132,61) :- #0.231.
link(62,65) :- #0.758.
link(65,62) :- #0.108.
link(62,72) :- #0.142.
link(72,62) :- #0.187.
link(62,93) :- #0.298.
link(93,62) :- #0.703.
link(62,97) :- #0.895.
link(97,62) :- #0.866.
link(62,102) :- #0.819.
link(102,62) :- #0.825.
link(62,122) :- #0.228.
link(122,62) :- #0.977.
link(62,128) :- #0.557.
link(128,62) :- #0.521.
link(63,76) :- #0.088.
link(76,63) :- #0.445.
link(63,79) :- #0.391.
link(79,63) :- #0.756.
link(63,92) :- #0.48.
link(92,63) :- #0.21.
link(63,96) :- #0.19.
link(96,63) :- #0.155.
link(63,98) :- #0.767.
link(98,63) :- #0.374.
link(63,115) :- #0.914.
link(115,63) :- #0.594.
link(63,129) :- #0.853.
link(129,63) :- #0.52.
link(64,70) :- #0.031.
link(70,64) :- #0.544.
link(64,76) :- #0.795.
link(76,64) :- #0.476.
link(64,99) :- #0.525.
link(99,64) :- #0.309.
link(64,119) :- #0.926.
link(119,64) :- #0.894.
link(64,129) :- #0.155.
link(129,64) :- #0.954.
link(64,133) :- #0.401.
link(133,64) :- #0.52.
link(64,135) :- #0.851.
link(135,64) :- #0.395.
link(65,88) :- #0.688.
link(88,65) :- #0.585.
link(65,101) :- #0.159.
link(101,65) :- #0.729.
link(65,104) :- #0.195.
link(104,65) :- #0.431.
link(65,119) :- #0.448.
link(119,65) :- #0.523.
link(65,125) :- #0.262.
link(125,65) :- #0.701.
link(65,132) :- #0.17.
link(132,65) :- #0.427.
link(65,133) :- #0.869.
link(133,65) :- #0.527.
link(66,68) :- #0.461.
link(68,66) :- #0.763.
link(66,80) :- #0.842.
link(80,66) :- #0.359.
link(66,94) :- #0.998.
link(94,66) :- #0.635.
link(67,79) :- #0.18.
link(79,67) :- #0.948.
link(67,83) :- #0.559.
link(83,67) :- #0.817.
link(67,91) :- #0.559.
link(91,67) :- #0.664.
link(67,94) :- #0.493.
link(94,67) :- #0.187.
link(67,106) :- #0.493.
link(106,67) :- #0.509.
link(67,107) :- #0.279.
link(107,67) :- #0.505.
link(68,85) :- #0.273.
link(85,68) :- #0.79.
link(68,93) :- #0.028.
link(93,68) :- #0.933.
link(68,103) :- #0.362.
link(103,68) :- #0.583.
link(68,127) :- #0.73.
link(127,68) :- #0.09.
link(68,134) :- #0.56.
link(134,68) :- #0.393.
link(69,89) :- #0.978.
link(89,69) :- #0.707.
link(69,94) :- #0.144.
link(94,69) :- #0.237.
link(69,95) :- #0.029.
link(95,69) :- #0.887.
link(69,97) :- #0.234.
link(97,69) :- #0.19.
link(69,118) :- #0.226.
link(118,69) :- #0.627.
link(70,71) :- #0.612.
link(71,70) :- #0.795.
link(70,78) :- #0.919.
link(78,70) :- #0.014.
link(70,89) :- #0.839.
link(89,70) :- #0.994.
link(70,96) :- #0.009.
link(96,70) :- #0.431.
link(70,106) :- #0.892.
link(106,70) :- #0.182.
link(71,80) :- #0.797.
link(80,71) :- #0.054.
link(71,81) :- #0.45.
link(81,71) :- #0.72.
link(71,84) :- #0.869.
link(84,71) :- #0.088.
link(71,125) :- #0.825.
link(125,71) :- #0.914.
link(72,74) :- #0.747.
link(74,72) :- #0.881.
link(72,77) :- #0.971.
link(77,72) :- #0.877.
link(72,81) :- #0.084.
link(81,72) :- #0.554.
link(72,82) :- #0.038.
link(82,72) :- #0.334.
link(72,83) :- #0.253.
link(83,72) :- #0.876.
link(72,85) :- #0.907.
link(85,72) :- #0.826.
link(72,89) :- #0.712.
link(89,72) :- #0.168.
link(72,94) :- #0.558.
link(94,72) :- #0.771.
link(72,108) :- #0.998.
link(108,72) :- #0.305.
link(72,128) :- #0.203.
link(128,72) :- #0.674.
link(72,131) :- #0.311.
link(131,72) :- #0.839.
link(73,78) :- #0.848.
link(78,73) :- #0.613.
link(73,84) :- #0.475.
link(84,73) :- #0.657.
link(73,100) :- #0.343.
link(100,73) :- #0.999.
link(73,107) :- #0.441.
link(107,73) :- #0.889.
link(73,113) :- #0.485.
link(113,73) :- #0.891.
link(73,125) :- #0.238.
link(125,73) :- #0.363.
link(73,128) :- #0.364.
link(128,73) :- #0.733.
link(74,78) :- #0.345.
link(78,74) :- #0.12.
link(74,92) :- #0.529.
link(92,74) :- #0.885.
link(74,93) :- #0.229.
link(93,74) :- #0.404.
link(74,94) :- #0.82.
link(94,74) :- #0.441.
link(74,105) :- #0.527.
link(105,74) :- #0.465.
link(74,106) :- #0.846.
link(106,74) :- #0.406.
link(74,127) :- #0.022.
link(127,74) :- #0.978.
link(74,130) :- #0.01.
link(130,74) :- #0.918.
link(75,81) :- #0.528.
link(81,75) :- #0.341.
link(75,87) :- #0.245.
link(87,75) :- #0.881.
link(75,100) :- #0.779.
link(100,75) :- #0.592.
link(75,102) :- #0.996.
link(102,75) :- #0.492.
link(75,104) :- #0.905.
link(104,75) :- #0.656.
link(75,120) :- #0.306.
link(120,75) :- #0.107.
link(75,131) :- #0.388.
link(131,75) :- #0.615.
link(76,84) :- #0.021.
link(84,76) :- #0.688.
link(76,85) :- #0.246.
link(85,76) :- #0.29.
link(76,87) :- #0.239.
link(87,76) :- #0.542.
link(76,101) :- #0.556.
link(101,76) :- #0.623.
link(76,108) :- #0.936.
link(108,76) :- #0.913.
link(76,125) :- #0.092.
link(125,76) :- #0.716.
link(77,114) :- #0.897.
link(114,77) :- #0.295.
link(77,117) :- #0.596.
link(117,77) :- #0.606.
link(78,83) :- #0.17.
link(83,78) :- #0.671.
link(78,85) :- #0.793.
link(85,78) :- #0.389.
link(78,112) :- #0.343.
link(112,78) :- #0.596.
link(78,129) :- #0.271.
link(129,78) :- #0.412.
link(78,130) :- #0.6.
link(130,78) :- #0.373.
link(79,98) :- #0.659.
link(98,79) :- #0.432.
link(79,115) :- #0.994.
link(115,79) :- #0.324.
link(80,92) :- #0.328.
link(92,80) :- #0.675.
link(80,106) :- #0.367.
link(106,80) :- #0.214.
link(80,109) :- #0.237.
link(109,80) :- #0.166.
link(80,120) :- #0.441.
link(120,80) :- #0.376.
link(80,121) :- #0.31.
link(121,80) :- #0.795.
link(81,89) :- #0.362.
link(89,81) :- #0.737.
link(81,103) :- #0.196.
link(103,81) :- #0.007.
link(81,109) :- #0.464.
link(109,81) :- #0.027.
link(81,113) :- #0.794.
link(113,81) :- #0.472.
link(82,99) :- #0.599.
link(99,82) :- #0.623.
link(82,101) :- #0.078.
link(101,82) :- #0.309.
link(82,107) :- #0.675.
link(107,82) :- #0.186.
link(82,121) :- #0.481.
link(121,82) :- #0.711.
link(82,130) :- #0.167.
link(130,82) :- #0.005.
link(83,87) :- #0.157.
link(87,83) :- #0.806.
link(83,88) :- #0.441.
link(88,83) :- #0.4.
link(83,93) :- #0.451.
link(93,83) :- #0.184.
link(83,107) :- #0.778.
link(107,83) :- #0.07.
link(83,135) :- #0.7.
link(135,83) :- #0.401.
link(84,96) :- #0.458.
link(96,84) :- #0.736.
link(84,114) :- #0.45.
link(114,84) :- #0.324.
link(84,115) :- #0.198.
link(115,84) :- #0.999.
link(84,117) :- #0.247.
link(117,84) :- #0.188.
link(85,89) :- #0.399.
link(89,85) :- #0.235.
link(85,100) :- #0.311.
link(100,85) :- #0.545.
link(85,117) :- #0.004.
link(117,85) :- #0.397.
link(85,132) :- #0.901.
link(132,85) :- #0.744.
link(86,109) :- #0.578.
link(109,86) :- #0.436.
link(87,97) :- #0.459.
link(97,87) :- #0.557.
link(87,105) :- #0.168.
link(105,87) :- #0.141.
link(87,112) :- #0.221.
link(112,87) :- #0.965.
link(87,114) :- #0.432.
link(114,87) :- #0.592.
link(87,123) :- #0.015.
link(123,87) :- #0.805.
link(87,131) :- #0.971.
link(131,87) :- #0.275.
link(87,132) :- #0.016.
link(132,87) :- #0.88.
link(88,105) :- #0.961.
link(105,88) :- #0.592.
link(88,108) :- #0.137.
link(108,88) :- #0.705.
link(88,110) :- #0.586.
link(110,88) :- #0.927.
link(88,130) :- #0.265.
link(130,88) :- #0.215.
link(89,91) :- #0.941.
link(91,89) :- #0.277.
link(89,98) :- #0.158.
link(98,89) :- #0.478.
link(89,117) :- #0.505.
link(117,89) :- #0.449.
link(89,124) :- #0.392.
link(124,89) :- #0.697.
link(90,110) :- #0.877.
link(110,90) :- #0.774.
link(90,111) :- #0.502.
link(111,90) :- #0.081.
link(91,93) :- #0.629.
link(93,91) :- #0.938.
link(91,110) :- #0.338.
link(110,91) :- #0.462.
link(91,118) :- #0.133.
link(118,91) :- #0.741.
link(92,95) :- #0.556.
link(95,92) :- #0.933.
link(92,99) :- #0.479.
link(99,92) :- #0.041.
link(92,103) :- #0.255.
link(103,92) :- #0.25.
link(92,115) :- #0.659.
link(115,92) :- #0.9.
link(92,127) :- #0.485.
link(127,92) :- #0.884.
link(93,104) :- #0.469.
link(104,93) :- #0.493.
link(93,105) :- #0.115.
link(105,93) :- #0.477.
link(93,110) :- #0.02.
link(110,93) :- #0.049.
link(93,113) :- #0.413.
link(113,93) :- #0.147.
link(93,125) :- #0.586.
link(125,93) :- #0.138.
link(93,128) :- #0.221.
link(128,93) :- #0.67.
link(93,129) :- #0.211.
link(129,93) :- #0.824.
link(94,99) :- #0.55.
link(99,94) :- #0.726.
link(94,115) :- #0.175.
link(115,94) :- #0.286.
link(95,109) :- #0.448.
link(109,95) :- #0.208.
link(95,133) :- #0.841.
link(133,95) :- #0.836.
link(96,114) :- #0.602.
link(114,96) :- #0.186.
link(96,124) :- #0.706.
link(124,96) :- #0.127.
link(97,106) :- #0.976.
link(106,97) :- #0.795.
link(98,100) :- #0.883.
link(100,98) :- #0.454.
link(98,104) :- #0.243.
link(104,98) :- #0.521.
link(98,112) :- #0.556.
link(112,98) :- #0.599.
link(98,115) :- #0.467.
link(115,98) :- #0.58.
link(98,128) :- #0.078.
link(128,98) :- #0.419.
link(99,112) :- #0.515.
link(112,99) :- #0.226.
link(99,124) :- #0.876.
link(124,99) :- #0.507.
link(100,109) :- #0.898.
link(109,100) :- #0.401.
link(100,116) :- #0.496.
link(116,100) :- #0.698.
link(100,125) :- #0.769.
link(125,100) :- #0.658.
link(101,104) :- #0.544.
link(104,101) :- #0.959.
link(101,109) :- #0.722.
link(109,101) :- #0.187.
link(101,114) :- #0.503.
link(114,101) :- #0.451.
link(101,130) :- #0.18.
link(130,101) :- #0.187.
link(101,135) :- #0.062.
link(135,101) :- #0.15.
link(102,130) :- #0.637.
link(130,102) :- #0.16.
link(102,133) :- #0.567.
link(133,102) :- #0.756.
link(102,135) :- #0.894.
link(135,102) :- #0.672.
link(103,121) :- #0.001.
link(121,103) :- #0.312.
link(103,128) :- #0.014.
link(128,103) :- #0.113.
link(104,105) :- #0.915.
link(105,104) :- #0.802.
link(104,118) :- #0.617.
link(118,104) :- #0.293.
link(104,131) :- #0.269.
link(131,104) :- #0.236.
link(104,135) :- #0.923.
link(135,104) :- #0.704.
link(105,113) :- #0.049.
link(113,105) :- #0.558.
link(105,117) :- #0.801.
link(117,105) :- #0.836.
link(105,120) :- #0.046.
link(120,105) :- #0.079.
link(106,124) :- #0.816.
link(124,106) :- #0.397.
link(107,112) :- #0.512.
link(112,107) :- #0.566.
link(107,134) :- #0.63.
link(134,107) :- #0.123.
link(108,110) :- #0.684.
link(110,108) :- #0.327.
link(108,119) :- #0.122.
link(119,108) :- #0.426.
link(108,124) :- #0.12.
link(124,108) :- #0.38.
link(108,132) :- #0.683.
link(132,108) :- #0.375.
link(108,134) :- #0.277.
link(134,108) :- #0.681.
link(109,110) :- #0.407.
link(110,109) :- #0.889.
link(109,114) :- #0.053.
link(114,109) :- #0.351.
link(110,112) :- #0.489.
link(112,110) :- #0.974.
link(111,118) :- #0.87.
link(118,111) :- #0.308.
link(111,120) :- #0.31.
link(120,111) :- #0.897.
link(111,123) :- #0.838.
link(123,111) :- #0.916.
link(113,116) :- #0.196.
link(116,113) :- #0.243.
link(113,117) :- #0.488.
link(117,113) :- #0.394.
link(113,121) :- #0.135.
link(121,113) :- #0.507.
link(113,128) :- #0.262.
link(128,113) :- #0.27.
link(113,129) :- #0.222.
link(129,113) :- #0.597.
link(114,120) :- #0.236.
link(120,114) :- #0.168.
link(114,133) :- #0.881.
link(133,114) :- #0.025.
link(115,128) :- #0.695.
link(128,115) :- #0.348.
link(115,129) :- #0.074.
link(129,115) :- #0.648.
link(115,130) :- #0.765.
link(130,115) :- #0.609.
link(117,119) :- #0.445.
link(119,117) :- #0.147.
link(117,122) :- #0.116.
link(122,117) :- #0.288.
link(119,122) :- #0.463.
link(122,119) :- #0.625.
link(119,124) :- #0.272.
link(124,119) :- #0.845.
link(119,126) :- #0.968.
link(126,119) :- #0.336.
link(119,127) :- #0.39.
link(127,119) :- #0.199.
link(119,132) :- #0.511.
link(132,119) :- #0.776.
link(120,135) :- #0.049.
link(135,120) :- #0.876.
link(121,122) :- #0.563.
link(122,121) :- #0.743.
link(122,128) :- #0.981.
link(128,122) :- #0.835.
link(122,131) :- #0.066.
link(131,122) :- #0.261.
link(124,131) :- #0.293.
link(131,124) :- #0.6.
link(126,130) :- #0.182.
link(130,126) :- #0.01.
link(126,134) :- #0.353.
link(134,126) :- #0.
link(127,130) :- #0.126.
link(130,127) :- #0.397.
link(127,131) :- #0.551.
link(131,127) :- #0.296.
link(130,133) :- #0.992.
link(133,130) :- #0.243.
link(130,134) :- #0.736.
link(134,130) :- #0.854.
link(131,134) :- #0.941.
link(134,131) :- #0.04.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
